# -*- Makefile -*-

# Set the name of the project here
PROJECT_NAME := klee
PROJ_VERSION := 0.01

# Set this variable to the top of the LLVM source tree.
LLVM_SRC_ROOT = /home/xavier/defens/llvm-2.7

# Set this variable to the top level directory where LLVM was built
# (this is *not* the same as OBJ_ROOT as defined in LLVM's Makefile.config).
LLVM_OBJ_ROOT = /home/xavier/defens/llvm-obj

# Set the directory root of this project's source files
PROJ_SRC_ROOT := $(subst //,/,/home/xavier/defens/rcs-modules/klee)

# Set the root directory of this project's object files
PROJ_OBJ_ROOT := $(subst //,/,@abs_top_objdir@)

# Set the root directory of this project's install prefix
PROJ_INSTALL_ROOT := /usr/local

ENABLE_POSIX_RUNTIME := 1
ENABLE_STPLOG := @ENABLE_STPLOG@
ENABLE_UCLIBC := 1

HAVE_SELINUX := 0

RUNTIME_ENABLE_OPTIMIZED := 0
RUNTIME_DISABLE_ASSERTIONS :=
RUNTIME_ENABLE_COVERAGE :=
RUNTIME_ENABLE_PROFILING :=

# A list of "features" which tests can check for in XFAIL:
TEST_FEATURE_LIST :=

ifeq ($(HAVE_SELINUX_SELINUX_H),1)
  TEST_FEATURE_LIST += have-selinux
else
  TEST_FEATURE_LIST += no-selinux
endif

CFLAGS := -Wno-variadic-macros
CXXFLAGS := -Wno-variadic-macros
LDFLAGS := 
